🇬🇧 en fr 🇫🇷

Gödel's incompleteness theorem properNoun

  • (logic, mathematics) Either of two theorems in mathematical logic that demonstrate the inherent limitations of every formal axiomatic system containing basic arithmetic.
 théorème d'incomplétude de Gödel
Wiktionary Links